University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
51	ClickOS and the Art of Network Function Virtualization Joao Martins† , Mohamed Ahmed† , Costin Raiciu‡ , Vladimir Olteanu‡ , Michio Honda† , Roberto Bifulco† , Felipe Huici† † NEC Europe Ltd. ‡ Universi Add to Reading List Source URL: nets.cs.pub.ro Language: English - Date: 2014-10-19 08:55:39 Network architecture Linux Foundation University of Cambridge Computer Laboratory Xen Hyper-V Open vSwitch Hardware virtualization Middlebox Hypervisor Live migration Paravirtualization Kernel-based Virtual Machine
52	SummerINSIDE THIS ISSUE From the Director • P.2 Community Updates • P.3 Class photoss • P.3 Add to Reading List Source URL: thebookplace.org Language: English - Date: 2016-07-25 14:25:59 BCPL University of Cambridge Computer Laboratory Catlettsburg Kentucky
53	A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Recursion Computability theory Theory of computation Subroutines Lambda calculus Primitive recursive function Fold Mutual recursion Higher-order function Type system
54	SUSE Virtualization Technologies Roadmap ® Michal Svec Add to Reading List Source URL: www.susecon.com Language: English - Date: 2015-11-20 11:17:20 SUSE Linux Cloud infrastructure Linux Foundation University of Cambridge Computer Laboratory Xen SUSE OpenStack LXC Hypervisor Hyper-V Operating-system-level virtualization SUSE Linux Enterprise Server
55	Underquantification: an application to mass terms Aurelie Herbelot and Ann Copestake University of Cambridge, Computer Laboratory, J. J. Thomson Avenue, Cambridge, United Kingdom , Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-01-05 13:33:14 Quantification Grammatical number Predicate logic Parts of speech Ontology Mass noun Mereology Classifier Count noun Quantifier Plural quantification Noun
56	VCK: the Visual Cryptography Kit Frank Stajano Olivetti Oracle Research Laboratory & University of Cambridge Computer Laboratory The idea of visual cryptography is a fascinating invention by Moni Naor and Adi Shamir (199 Add to Reading List Source URL: legacy.python.org Language: English - Date: 2006-05-04 17:09:08 Digital typography Cryptography Visual cryptography RSA PostScript Python Command-line interface Moni Naor C Adi Shamir
57	OCaml inside: a drop-in replacement for libtls Enguerrand Decorne (speaker), Jeremy Yallop, David Kaloper-Meršinjak University of Cambridge Computer Laboratory Introduction: openssl to libtls to libnqsb-tls Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2016-08-18 12:03:29 Cryptographic software Functional languages OCaml Caml Functional programming Transport Layer Security OpenSSL LibreSSL Preprocessor Ctypes Monad Language binding
58	Implementing the SMS server, or why I switched from Tcl to Python Frank Stajano Olivetti-Oracle Research Laboratory & University of Cambridge Computer Laboratory http://www.orl.co.uk/~fms/ Add to Reading List Source URL: legacy.python.org Language: English - Date: 2006-05-04 16:55:08 Scripting languages Tcl Tk Python Expect Guido van Rossum Generator JavaScript IDLE Command-line interface Snit Tcl/Java
59	Nothing better than a Python to write a Serpent Frank Stajano Olivetti Oracle Research Laboratory & University of Cambridge Computer Laboratory Serpent is a 128-bit block cipher designed by Ross Add to Reading List Source URL: legacy.python.org Language: English - Date: 2006-05-04 17:09:08 Block ciphers Cryptography Free software Serpent Data Encryption Standard Python Cipher Crypt Advanced Encryption Standard Reference implementation Python syntax and semantics
60	The Xen hypervisor virtualizing a machine near you Muli Ben-Yehuda IBM Haifa Research Labs Add to Reading List Source URL: www.mulix.org Language: English - Date: 2016-06-16 09:04:15 Software System software Computer architecture Linux Foundation University of Cambridge Computer Laboratory Xen Hardware virtualization Paravirtualization Hypervisor Hyper-V NetBSD Virtual machine